VDM '90 - VDM and Z - formal methods in software development : proceedings
- Författare
- (Third International symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1990 | Tyskland, Berlin, New York | xvii, 579 sidor. |